Abstract logic

Results: 1693



#Item
71

Theory and Applications of Categories, Vol. 10, No. 17, 2002, pp. 424–460. ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC RICHARD F. BLUTE, FRANÇOIS LAMARCHE, PAUL RUET ABSTRACT. We give a definition of

Add to Reading List

Source URL: www.tac.mta.ca

- Date: 2002-10-11 13:21:20
    72

    Stratified Bounded Affine Logic for Logarithmic Space Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Oettingenstraße 67, DM¨unchen, Germany Abstract

    Add to Reading List

    Source URL: www2.tcs.ifi.lmu.de

    - Date: 2007-04-20 11:57:17
      73

      Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2015-11-06 10:54:47
        74

        Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract

        Add to Reading List

        Source URL: eprints.cs.univie.ac.at

        - Date: 2016-08-08 07:44:57
          75

          Weighted strategy logic with boolean goals over one-counter games∗ Patricia Bouyer, Patrick Gardy, and Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          - Date: 2016-01-04 08:35:09
            76

            LOGIC FOR GRAY-CODE COMPUTATION ULRICH BERGER AND KENJI MIYAMOTO AND HELMUT SCHWICHTENBERG AND HIDEKI TSUIKI Abstract. Gray-code is a well-known binary number system where neighboring values differ in one digit only. Tsu

            Add to Reading List

            Source URL: www.math.lmu.de

            - Date: 2015-09-28 04:29:31
              77

              Stratified Bounded Affine Logic for Logarithmic Space (Draft) Ulrich Sch¨opp April 20, 2007 Abstract

              Add to Reading List

              Source URL: www2.tcs.ifi.lmu.de

              - Date: 2007-04-20 12:18:06
                78

                Quantitative Domains, Groupoids and Linear Logic Paul Taylor 1989 Abstract We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors wi

                Add to Reading List

                Source URL: www.paultaylor.eu

                - Date: 2009-02-12 12:08:31
                  79

                  RDF as Graph-Based, Diagrammatic Logic Frithjof Dau Dept. of Mathematics, Dresden Technical University, Germany Abstract. The Resource Description Framework (RDF) is the basic standard for representing information in the

                  Add to Reading List

                  Source URL: www.dr-dau.net

                  - Date: 2007-08-09 21:04:38
                    80

                    Deductive Search for Logic Puzzles Cameron Browne Imperial College London South Kensington, UK Abstract—Deductive search (DS) is a breadth-first, depthlimited propagation scheme for the constraint-ba

                    Add to Reading List

                    Source URL: eldar.mathstat.uoguelph.ca

                    - Date: 2016-07-12 12:05:04
                      UPDATE